演绎推理自动化 syllogism: n. 1.【逻辑学】推论式,三段论(法)。 2.演绎法。 3.巧妙的推论,诡辩。 categorical syllogism: 直言命题; 直言三段论disjunctive syllogism: 析取三段论; 选言三段论; 选言推理fuzzy syllogism: 模糊三段式hypothetical syllogism: 假言三段论下载手机词典可随时随地查词查翻译